differences between linux and openbsd